Consistency Rules for UML-based Domain-specific Language Models: A Literature Review
نویسندگان
چکیده
The Unified Modeling Language (UML) has become a popular implementation vehicle for domain-specific modeling languages (DSMLs). A UML-based DSML is typically defined by multiple specification artifacts, i.e. inter-related models, describing different views on the DSML. These separate, yet inter-related models are potential sources of specification inconsistencies which bear a high risk of affecting all subsequent DSML development phases (e.g., platform integration). In a large-scale literature review of more than 8,000 publications, we collected evidence on consistency-rule usage for 84 UML-based DSML designs. In this paper, we report on the identified patterns of consistencyrule usage (e.g., rule formalization, rule scopes, and supported development activities) and specification defects which challenge the use of consistency rules in DSML specifications.
منابع مشابه
A Language-Theoretic View on Guidelines and Consistency Rules of UML
Guidelines and consistency rules of UML are used to control the degrees of freedom provided by the language to prevent faults. Guidelines are used in specific domains (e.g., avionics) to recommend the proper use of technologies. Consistency rules are used to deal with inconsistencies in models. However, guidelines and consistency rules use informal restrictions on the uses of languages, which m...
متن کاملRule-Based Specification of Behavioral Consistency Based on the UML Meta-model
Object-oriented modeling favors the modeling of object behavior from di erent viewpoints and at di erent levels of abstraction. This gives rise to consistency problems between overlapping or semantically related submodels. The absence of a formal semantics for the UML and the numerous ways of employing the language within the development process lead to a number of di erent consistency notions....
متن کاملProposal for Improving the UML Abstract Syntax
Different types of consistency of UML models have been described in the literature. The consistency of UML models with the UML static semantics, usually referred as wellformedness, and the consistency between different versions of the same model are among the most cited. The UML models’ well-formedness is a precondition for any other kind of consistency, being described by means of the UML abst...
متن کاملMulti-view Consistency in UML
We study the question of consistency of multi-view models in UML and OCL. We first critically survey the large amount of literature that already exists. We find that only limited subsets of the UML/OCL have been covered so far and that consistency checks mostly only cover structural aspects, whereas only few methods also address behaviour. We also give a classification of different techniques f...
متن کاملEnhancing UML Models: A Domain Analysis Approach
UML has been largely adopted as a standard modeling language. The emergence of UML from different modeling languages that refer to various system aspects causes a wide variety of completeness and correctness problems in UML models. Several methods have been proposed for dealing with correctness issues, mainly providing internal consistency rules but ignoring correctness and completeness with re...
متن کامل